interface JSON_Saving<X> {
  public String jsonString();
  public X fromJSONString(String jsonString);
}